Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
251	Algorithms Wikibooks.org March 15, 2013 Add to Reading List Source URL: upload.wikimedia.org Language: English - Date: 2013-10-05 14:36:00 Search algorithms Operations research Mathematical optimization Algorithms Mathematical logic String Dynamic programming Binary search algorithm Divide and conquer algorithm Mathematics Applied mathematics Theoretical computer science
252	1 How to Improve Your Google Ranking: Myths and Reality Ao-Jan Su† , Y. Charlie Hu‡ , Aleksandar Kuzmanovic† , and Cheng-Kok Koh‡ † Northwestern University, Evanston, IL, USA Add to Reading List Source URL: networks.cs.northwestern.edu Language: English - Date: 2011-04-04 20:37:03 Search engine optimization World Wide Web Internet marketing Mathematical logic Internet search engines Google Search PageRank Google Ranking Internet Computing Information science
253	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
254	Random numbers • Random number generators • Problems (e.g. Marsaglia effect) • Random numbers with different distributions Boundary conditions • Periodic boundary conditions Add to Reading List Source URL: www.phy.bme.hu Language: English - Date: 2014-01-07 07:55:10 Monte Carlo methods Science Combinatorics Algorithm Mathematical logic Theoretical computer science Mathematical optimization Swendsen–Wang algorithm Genetic algorithm Mathematics Applied mathematics Statistical mechanics
255	A Conceptual Structure for Computer Vision Gregor Miller, Sidney Fels and Steve Oldridge Human Communication Technologies Laboratory ECE, University of British Columbia Vancouver, Canada {gregor, ssfels, steveo}@ece.ubc. Add to Reading List Source URL: hct.ece.ubc.ca Language: English - Date: 2011-11-24 20:11:07 Formal systems Mathematical logic Mathematical optimization Algorithm Visual perception Segmentation Face detection Axiom OpenCV Mathematics Image processing Computer vision
256	Package ‘SBRect’ July 20, 2014 Version 0.26 Date[removed]Title Detecting structural breaks using rectangle covering (non-parametric method). Author Paul Fischer [aut, cre, cph],Astrid Hilbert [ctb, cph] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-20 15:17:33 Mathematical optimization Algorithm Mathematical logic Genetic algorithm Vector space Hindley–Milner Mathematics Algebra Theoretical computer science
257	Microsoft Word - RevisedFormulaReferenceSheet200609.doc Add to Reading List Source URL: www.mdk12.org Language: English - Date: 2006-11-16 16:14:50 Mathematical logic Operations research Equations How to Solve It Computational complexity theory Mathematics Problem Mathematical optimization
258	PDF Document Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Applied mathematics Science Computing Mathematical modeling AMPL MPS Logic form General Algebraic Modeling System Operations research Mathematical optimization Computer algebra systems
259	PICTURE PUZZLING Mathematicians Are Rediscovering the Power of Pictorial Reasoning* by IVAN RIVAL M Add to Reading List Source URL: www.ivanrival.com Language: English - Date: 2010-09-26 08:28:03 Combinatorics Mathematical logic Function Weierstrass function Mathematical optimization Mathematical proof Tessellation Formalism Theorem Mathematics Mathematical analysis Logic
260	Logic, Programming and Prolog (Supplement) Ulf Nilsson Dept of Computer and Information Science Link¨oping University [removed] Add to Reading List Source URL: ima.udg.edu Language: English - Date: 2007-02-12 09:49:53 Computing Constraint logic programming Prolog Function Finitary relation Mathematical optimization B-Prolog Constraint satisfaction Constraint programming Software engineering Computer programming

UPDATE